Revision: tla-tools--devo--0--patch-8
Archive: miles@gnu.org--gnu-2005
Creator: Miles Bader <miles@gnu.org>
Date: Sat Mar 12 13:26:19 JST 2005
Standard-date: 2005-03-12 04:26:19 GMT
Modified-files: ChangeLog tla-commit-merge.shpp
New-patches: miles@gnu.org--gnu-2005/tla-tools--devo--0--patch-8
Summary: tla-commit-merge: Tell tla-abbrev-merge-log which default archive to use

